package interfaces.managers;

import interfaces.IIncidencia;
import interfaces.ITecnico;
import tdg.contract.semanticAnnotations.ImportClass;
import tdg.contract.semanticAnnotations.Init;
import tdg.contract.semanticAnnotations.Pre;
import tdg.contract.semanticAnnotations.Pos;
import tdg.contract.semanticAnnotations.Inv;
import tdg.contract.semanticAnnotations.Query;

@Init ({""})
@Inv ({""})

public interface IReclamadorIncidencias {
	@Pre ({"i!=null && t !=null #NullPointerException", "i.getEsAbierta() && !i.getEstaAsignada()"})
	@Pos ({"i.getEstaAsingada() && i.getEsAbierta()"})
	public boolean reclamaIncidencia(IIncidencia i, ITecnico t);
}
